Tootfinder

On (Mis)perceptions of testing effectiveness: an empirical study
Sira Vegas, Patricia Riofrio, Esperanza Marcos, Natalia Juristo
https://arxiv.org/abs/2402.07222

On (Mis)perceptions of testing effectiveness: an empirical study
A recurring problem in software development is incorrect decision making on the techniques, methods and tools to be used. Mostly, these decisions are based on developers' perceptions about them. A factor influencing people's perceptions is past experience, but it is not the only one. In this research, we aim to discover how well the perceptions of the defect detection effectiveness of different techniques match their real effectiveness in the absence of prior experience. To do this, we conduct …

Revisiting Data Recovery Loops in 6G Networks
Uyoata E. Uyoata, Abolfazl Amiri, Enric Juan, Guillermo Pocovi, Pilar Andres-Maldonado, Klaus I. Pedersen, Troels Kolding
https://arxiv.org/abs/2404.07579

Revisiting Data Recovery Loops in 6G Networks
Mechanisms for data recovery and packet reliability are essential components of the upcoming 6th generation (6G) communication system. In this paper, we evaluate the interaction between a fast hybrid automatic repeat request (HARQ) scheme, present in the physical and medium access control layers, and a higher layer automatic repeat request (ARQ) scheme which may be present in the radio link control layer. Through extensive system-level simulations, we show that despite its higher complexity, a …

I’ll just take this news of ShotSpotter being a creepy police-state surveillance apparatus that operates outside of normal democratic oversight mechanisms as an opportunity to remind everyone that is ShotSpotter is also a mechanism for whitewashing police bias with statistics by taking a map of where police put microphones and presenting it as a supposed map of where gun violence occurs.

Mathematics of statistical sequential decision-making: concentration, risk-awareness and modelling in stochastic bandits, with applications to bariatric surgery
Patrick Saux
https://arxiv.org/abs/2405.01994

Mathematics of statistical sequential decision-making: concentration, risk-awareness and modelling in stochastic bandits, with applications to bariatric surgery
This thesis aims to study some of the mathematical challenges that arise in the analysis of statistical sequential decision-making algorithms for postoperative patients follow-up. Stochastic bandits (multiarmed, contextual) model the learning of a sequence of actions (policy) by an agent in an uncertain environment in order to maximise observed rewards. To learn optimal policies, bandit algorithms have to balance the exploitation of current knowledge and the exploration of uncertain actions. Su…

A Market Mechanism for a Two-stage Settlement Electricity Market with Energy Storage
Rajni Kant Bansal, Enrique Mallada, Patricia Hidalgo-Gonzalez
https://arxiv.org/abs/2403.04609

A Market Mechanism for a Two-stage Settlement Electricity Market with Energy Storage
Electricity markets typically clear in two stages: a day-ahead market and a real-time market. In this paper, we propose market mechanisms for a two-stage multi-interval electricity market with energy storage, generators, and demand uncertainties. We consider two possible mixed bidding strategies: storage first bids cycle depths in the day ahead and then charge-discharge power bids in the real-time market for any last-minute adjustments. While the first strategy only considers day-ahead decision…

NIST and Web3 Security – A Developing Perspective
 
The National Institute for Standards and Technology just released an initial draft of “A Security Perspective on the Web3 Paradigm” as document IR 8475. It is not long and it is a great take on how NIST is thinking about Web3 security. Here is the link:
 
#Web3 #NIST #Security #InfoSec #BlockChain #IPFS
 

What Are the Odds? Improving the foundations of Statistical Model Checking
Tobias Meggendorfer, Maximilian Weininger, Patrick Wienh\"oft
https://arxiv.org/abs/2404.05424

What Are the Odds? Improving the foundations of Statistical Model Checking
Markov decision processes (MDPs) are a fundamental model for decision making under uncertainty. They exhibit non-deterministic choice as well as probabilistic uncertainty. Traditionally, verification algorithms assume exact knowledge of the probabilities that govern the behaviour of an MDP. As this assumption is often unrealistic in practice, statistical model checking (SMC) was developed in the past two decades. It allows to analyse MDPs with unknown transition probabilities and provide probab…

Lance Zierlein 2024 NFL mock draft 3.0: Giants trade up for QB Drake Maye; WR Ladd McConkey to Chiefs https://www.nfl.com/news/lance-zierlein-2024-nfl-mock-draft-3-0-giants-trade-up-for-qb-drake-maye-wr-ladd-mc…

Lance Zierlein 2024 NFL mock draft 3.0: Giants trade up for QB Drake Maye; WR Ladd McConkey to Chiefs
In his third mock of the 2024 NFL Draft, Lance Zierlein has two teams trading into the top five for quarterbacks. Plus, Kansas City gives Patrick Mahomes a versatile receiver. Check out the full first-round forecast, 1-32.

NIST and Web3 Security – A Developing Perspective
 
The National Institute for Standards and Technology just released an initial draft of “A Security Perspective on the Web3 Paradigm” as document IR 8475. It is not long and it is a great take on how NIST is thinking about Web3 security. Here is the link:
 
#Web3 #NIST #Security #InfoSec #BlockChain #IPFS